refutation completeness造句
例句與造句
- The resolution rule can be traced back to Davis and Putnam ( 1960 ); however, their unification algorithm, which allowed one to instantiate the formula during the proof " on demand " just as far as needed to keep refutation completeness.
- It's difficult to find refutation completeness in a sentence. 用refutation completeness造句挺難的